NoSuchBuiltinName.agda:5,1-25
There is no built-in thing called FOOBAR
when checking the pragma BUILTIN FOOBAR X
